Towards a Formalization of Mental Model Reasoning for Syllogistic Fragments

نویسندگان

  • Yutaro Sugimoto
  • Yuri Sato
  • Shigeyuki Nakayama
چکیده

In this study, Johnson-Laird and his colleagues’ mental model reasoning is formally analyzed as a non-sentential reasoning. Based on the recent developments in implementations of mental model theory, we formulate a mental model reasoning for syllogistic fragments in a way satisfying the requirement of formal specification such as mental model definition.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The probability heuristics model of syllogistic reasoning.

A probability heuristic model (PHM) for syllogistic reasoning is proposed. An informational ordering over quantified statements suggests simple probability based heuristics for syllogistic reasoning. The most important is the "min-heuristic": choose the type of the least informative premise as the type of the conclusion. The rationality of this heuristic is confirmed by an analysis of the proba...

متن کامل

Model fitting data from syllogistic reasoning experiments

The data presented in this article are related to the research article entitled "Probabilistic representation in syllogistic reasoning: A theory to integrate mental models and heuristics" (M. Hattori, 2016) [1]. This article presents predicted data by three signature probabilistic models of syllogistic reasoning and model fitting results for each of a total of 12 experiments (N=404) in the lite...

متن کامل

A Computational Logic Approach to Syllogisms in Human Reasoning

Abstract. Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had di culties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion sema...

متن کامل

Toward Probabilistic Natural Logic for Syllogistic Reasoning

Natural language contains an abundance of reasoning patterns. Historically, there have been many attempts to capture their rational usage in normative systems of logical rules. However, empirical studies have repeatedly shown that human inference differs from what is characterized by logical validity. In order to better characterize the patterns of human reasoning, psychologists have proposed a...

متن کامل

A specification-aware modeling of mental model theory for syllogistic reasoning

Computational cognitive models can embody the structures and processes proposed in a cognitive theory. However, they do not necessarily reveal the theory’s underlying assumptions and specifications. This study aims to bridge the gap between cognitive theory and its computational implementation, focusing on a case of mental model theory on human reasoning. Using a mathematics-based and staticall...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013